Hofner, Péter: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Relational and algebraic methods in computer science

Kahl, Wolfram, Griffin, Timothy G., Höfner, Peter

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 151 KB

english, 2015

2

Algebraic notions of nontermination: Omega and divergence in idempotent semirings

Peter Höfner, Georg Struth

Journal:

The Journal of Logic and Algebraic Programming

Year:

2010

Language:

english

File:

PDF, 401 KB

english, 2010

3

Cardinality of relations and relational approximation algorithms

Berghammer, Rudolf, Höfner, Peter, Stucke, Insa

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 500 KB

english, 2016

4

Relational and algebraic methods in computer science

Höfner, Peter, Jipsen, Peter, Kahl, Wolfram, Müller, Martin Eric

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 197 KB

english, 2016

5

Modeling spatiotemporal abundance of mobile wildlife in highly variable environments using boosted GAMLSS hurdle models

Smith, Adam, Hofner, Benjamin, Lamb, Juliet S., Osenkowski, Jason, Allison, Taber, Sadoti, Giancarlo, McWilliams, Scott R., Paton, Peter

Journal:

Ecology and Evolution

Year:

2019

Language:

english

File:

PDF, 1.94 MB

english, 2019

6

[IEEE 2019 IEEE International Superconductive Electronics Conference (ISEC) - Riverside, CA, USA (2019.7.28-2019.8.1)] 2019 IEEE International Superconductive Electronics Conference (ISEC) - Ultra-sensitive SQUID systems for applications in biomagnetism and ultra-low field MRI

Korber, Rainer, Kieler, Oliver, Hommen, Peter, Hofner, Nora, Storm, Jan-Hendrik

Year:

2019

File:

PDF, 10.42 MB

2019

7

Modelling and verifying the AODV routing protocol

van Glabbeek, Rob, Höfner, Peter, Portmann, Marius, Tan, Wee Lum

Journal:

Distributed Computing

Year:

2016

Language:

english

File:

PDF, 763 KB

english, 2016

8

Relational and algebraic methods in computer science

Höfner, Peter, Pous, Damien, Struth, Georg

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2019

File:

PDF, 148 KB

2019

9

Hopscotch—reaching the target hop by hop

Höfner, Peter, McIver, Annabelle

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2014

Language:

english

File:

PDF, 337 KB

english, 2014

10

Extended Feature Algebra

Höfner, Peter, Möller, Bernhard

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 1.03 MB

english, 2015

11

Ausgrabungen und Forschungsreisen

Erich Winter, C. F.-A. Schaeffer, Ernst Weidner, H. J. Lenzen, Hans Hirsch, Anton Moortgat, W. Orthmann, Peter Neve, Fritz Schachermeyr, P. J. Riis, H.-P. Rüger, H. Hirsch, A. Petra, Maria Höfner, Kar

Journal:

Archiv für Orientforschung

Year:

1966

Language:

german

File:

PDF, 26.52 MB

german, 1966

12

Genetic Polymorphisms of NOD1 and IL-8, but not Polymorphisms of TLR4 Genes, Are Associated with Helicobacter pylori-Induced Duodenal Ulcer and Gastritis

Peter Hofner, Zsofia Gyulai, Zsuzsanna F. Kiss, Andrea Tiszai, László Tiszlavicz, Gábor Tóth, Dominika Szõke, Béla Molnár, János Lonovics, Zsolt Tulassay, Yvette Mándi

Journal:

Year:

2007

Language:

english

File:

PDF, 207 KB

english, 2007

13

[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 10226 || Aggregation of Votes with Multiple Positions on Each Issue

Höfner, Peter, Pous, Damien, Struth, Georg

Year:

2017

Language:

english

File:

PDF, 270 KB

english, 2017

14

Mycobacterium bovis BCG induces high mobility group box 1 protein release from monocytic cells

Journal:

Acta Microbiologica et Immunologica Hungarica

Year:

2007

Language:

english

File:

PDF, 555 KB

english, 2007

15

Detection of body noise with an ultra-sensitive SQUID system

Storm, Jan-Hendrik, Hömmen, Peter, Höfner, Nora, Körber, Rainer

Journal:

Measurement Science and Technology

Year:

2019

Language:

english

File:

PDF, 728 KB

english, 2019

16

Synthesis of (S)-3,4-Diaminobutanenitriles as Precursors for 3-Amino-GABA Derivatives

Peter Gmeiner, Evi Hummel, Christian Haubmann, Georg Höfner

Journal:

Archiv der Pharmazie

Year:

1995

Language:

english

File:

PDF, 368 KB

english, 1995

17

Evaluation eines zweijährigen Curriculums in Psychosozialer und Psychosomatischer Medizin – Umgang mit Emotionen und patientenzentrierter Gesprächsführung

Langewitz, Wolf A., Edlhaimb, Hans-Peter, Höfner, Claudia, Koschier, Alexandra, Nübling, Matthias, Leitner, Anton

Journal:

PPmP - Psychotherapie · Psychosomatik · Medizinische Psychologie

Year:

2010

Language:

german

File:

PDF, 203 KB

german, 2010

18

The Density Structure of Highly Compact H [CSC]ii[/CSC] Regions

Franco, José, Kurtz, Stan, Hofner, Peter, Testi, Leonardo, García-Segura, Guillermo, Martos, Marco

Journal:

The Astrophysical Journal

Year:

2000

Language:

english

File:

PDF, 67 KB

english, 2000

19

The Hot Molecular Core of G12.21–0.10: NH3(4, 4) Observations

de la Fuente, Eduardo, Kurtz, Stanley E., Rodriguez-Rico, Carlos A., Trinidad, Miguel A., Araya, Esteban, Kemp, Simon, Porras, Alicia, Hofner, Peter, Franco, José

Journal:

Proceedings of the International Astronomical Union

Year:

2009

Language:

english

File:

PDF, 138 KB

english, 2009

20

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Algebraic View Reconciliation

Höfner, Peter, Khedri, Ridha, Möller, Bernhard

Year:

2008

Language:

english

File:

PDF, 320 KB

english, 2008

21

The International Continence Society “Benign Prostatic Hyperplasia” Study: International Differences in Lower Urinary Tract Symptoms and Related Bother

Witjes, Wim P.J., de la Rosette, Jean J.M.C.H., Donovan, Jenny L., Peters, Tim J., Abrams, Paul, Kay, Hazel E., Hofner, Klaus, Kinn, Ann-Charlotte, Walter, Steen

Journal:

The Journal of Urology

Year:

1997

Language:

english

File:

PDF, 755 KB

english, 1997

22

CCS: It’s not fair!

van Glabbeek, Rob J., Höfner, Peter

Journal:

Acta Informatica

Year:

2015

Language:

english

File:

PDF, 487 KB

english, 2015

23

A CATALOG OF CH 3 OH 7 0 -6 1A + MASER SOURCES IN MASSIVE STAR-FORMING REGIONS. II. MASERS IN NGC 6334F, G8.67–0.36, AND M17

Gómez, Laura, Luis, Leticia, Hernández-Curiel, Idalia, Kurtz, Stan E., Hofner, Peter, Araya, Esteban D.

Journal:

The Astrophysical Journal Supplement Series

Year:

2010

Language:

english

File:

PDF, 1.11 MB

english, 2010

24

Fixing Zeno gaps

Peter Höfner, Bernhard Möller

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 466 KB

english, 2011

25

Prediction of outcome in patients with urothelial carcinoma of the bladder following radical cystectomy using artificial neural networks

Buchner, A., May, M., Burger, M., Bolenz, C., Herrmann, E., Fritsche, H.-M., Ellinger, J., Höfner, T., Nuhn, P., Gratzke, C., Brookman-May, S., Melchior, S., Peter, J., Moritz, R., Tilki, D., Gilfrich

Journal:

European Journal of Surgical Oncology (EJSO)

Year:

2013

Language:

english

File:

PDF, 478 KB

english, 2013

26

[ACM Press the 16th ACM international conference - Barcelona, Spain (2013.11.03-2013.11.08)] Proceedings of the 16th ACM international conference on Modeling, analysis & simulation of wireless and mobile systems - MSWiM '13 - Sequence numbers do not guarantee loop freedom

van Glabbeek, Rob, Höfner, Peter, Tan, Wee Lum, Portmann, Marius

Year:

2013

Language:

english

File:

PDF, 666 KB

english, 2013

27

Mechanizing a Process Algebra for Network Protocols

Bourke, Timothy, van Glabbeek, Robert J., Höfner, Peter

Journal:

Journal of Automated Reasoning

Year:

2016

Language:

english

File:

PDF, 2.12 MB

english, 2016

28

A Survey of the SO J K = 1 0 –0 1 Transition toward Massive Star‐forming Regions

Mateen, Mala, Hofner, Peter, Araya, Esteban

Journal:

The Astrophysical Journal Supplement Series

Year:

2006

Language:

english

File:

PDF, 925 KB

english, 2006

29

Cardinality of relations with applications

Berghammer, Rudolf, Danilenko, Nikita, Höfner, Peter, Stucke, Insa

Journal:

Discrete Mathematics

Year:

2016

Language:

english

File:

PDF, 577 KB

english, 2016

30

An algebra of product families

Peter Höfner, Ridha Khedri, Bernhard Möller

Journal:

Software & Systems Modeling

Year:

2011

Language:

english

File:

PDF, 2.21 MB

english, 2011

31

Dijkstra, Floyd and Warshall meet Kleene

Höfner, Peter, Möller, Bernhard

Journal:

Formal Aspects of Computing

Year:

2012

Language:

english

File:

PDF, 243 KB

english, 2012

32

[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 8428 || On Faults and Faulty Programs

Höfner, Peter, Jipsen, Peter, Kahl, Wolfram, Müller, Martin Eric

Year:

2014

Language:

english

File:

PDF, 258 KB

english, 2014

33

[ACM Press the First International Workshop - Denver, Colorado (2009.10.06-2009.10.06)] Proceedings of the First International Workshop on Feature-Oriented Software Development - FOSD '09 - An extension for feature algebra

Höfner, Peter, Möller, Bernhard

Year:

2009

Language:

english

File:

PDF, 175 KB

english, 2009

34

A Catalog of CH 3 OH 7 0 –6 1A + Maser Sources in Massive Star‐forming Regions

Kurtz, Stan, Hofner, Peter, Alvarez, Carlos Vargas

Journal:

The Astrophysical Journal Supplement Series

Year:

2004

Language:

english

File:

PDF, 827 KB

english, 2004

35

Novel pyrrolinones as N-methyl-d-aspartate receptor antagonists

Hermann Poschenrieder, Hans-Dietrich Stachel, Georg Höfner, Peter Mayer

Journal:

European Journal of Medicinal Chemistry

Year:

2005

Language:

english

File:

PDF, 347 KB

english, 2005

36

Effect of the dual 5 alpha-reductase inhibitor dutasteride on endocrine parameters and prostate volume

Claus Roehrborn, Gerald Andriole, Peter Boyle, Klaus Höfner

Journal:

European Urology Supplements

Year:

2002

Language:

english

File:

PDF, 207 KB

english, 2002

37

CH 3 CN Observations toward Southern Massive Star‐forming Regions

Araya, Esteban, Hofner, Peter, Kurtz, Stan, Bronfman, Leonardo, DeDeo, Simon

Journal:

The Astrophysical Journal Supplement Series

Year:

2005

Language:

english

File:

PDF, 1.03 MB

english, 2005

38

Detection of 7 Millimeter Sources near Cometary H [CSC]ii[/CSC] Regions

Carral, Patricia, Kurtz, Stan E., Rodríguez, Luis F., De Pree, Chris, Hofner, Peter

Journal:

The Astrophysical Journal

Year:

1997

Language:

english

File:

PDF, 177 KB

english, 1997

39

Zum Einfluß von Substituenten auf σ-π-Wechselwirkung: Winkelverzerrungen in C-Borylmethylenboranen / Effect of Substituents on σ-π-Interaction: Distortion of Angles in C-Borylmethyleneboranes

Willershausen, Peter, Höfner, Andrea, Allwohn, Jürgen, Pilz, Monika, Massa, Werner, Berndt, Armin

Journal:

Zeitschrift für Naturforschung B

Year:

1992

Language:

german

File:

PDF, 7.74 MB

german, 1992

40

Dopamine autoreceptor agonists: computational studies, synthesis and biological investigations

Peter Gmeiner, Josef Sommer, Joachim Mierau, Georg Höfner

Journal:

Bioorganic & Medicinal Chemistry Letters

Year:

1993

Language:

english

File:

PDF, 2.79 MB

english, 1993

41

The impact of dutasteride, a novel 5-α reductase inhibitor, on the hallmarks of BPH. Progression and outcomes

Peter Boyle, Claus Roehrborn, Gerald Andriole, Nickel J Curtis, Klaus Hofner, Michael O'Leary

Journal:

European Urology Supplements

Year:

2002

Language:

english

File:

PDF, 207 KB

english, 2002

42

Ultracompact H ii Regions with Extended Radio‐Continuum Emission

Kurtz, Stanley E., Watson, Alan M., Hofner, Peter, Otte, Birgit

Journal:

The Astrophysical Journal

Year:

1999

Language:

english

File:

PDF, 928 KB

english, 1999

43

[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 10226 || Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces

Höfner, Peter, Pous, Damien, Struth, Georg

Year:

2017

Language:

english

File:

PDF, 382 KB

english, 2017

44

A Cyclic Methyleneborane with Trapezoidal Geometry

Andrea Höfner, Dr. Bernd Ziegler, Dr. Ralf Hunold, Peter Willershausen, Prof. Dr. Werner Massa, Prof. Dr. Armin Berndt

Journal:

Angewandte Chemie International Edition

Year:

1991

Language:

english

File:

PDF, 351 KB

english, 1991

45

Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 433 KB

english, 2007

46

Algebraic Structure of Web Services

Peter Höfner, Florian Lautenbacher

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 302 KB

english, 2008

47

Algebraic Neighbourhood Logic

Peter Höfner, Bernhard Möller

Journal:

The Journal of Logic and Algebraic Programming

Year:

2008

Language:

english

File:

PDF, 369 KB

english, 2008

48

Association of beta-defensin 1 single nucleotide polymorphisms with Crohn's disease

Katalin Kocsis, Ágnes, Laszló Lakatos, Péter, Somogyvári, Ferenc, Fuszek, Peter, Papp, János, Fischer, Simon, Szamosi, Tamás, Lakatos, Laszlo, Kovacs, Ágota, Hofner, Peter, Mándi, Yvette

Journal:

Scandinavian Journal of Gastroenterology

Year:

2008

Language:

english

File:

PDF, 120 KB

english, 2008

49

Can Refinement be Automated?

Peter Höfner, Georg Struth

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 375 KB

english, 2008

50

Pressure and density gradients in H II Regions

José Franco, Stan E. Kurtz, José A. GarcÍa-Barreto, Guillermo GarcÍa-Segura, Eduardo de la Fuente, Peter Hofner, Alejandro Esquivel

Journal:

Astrophysics and Space Science

Year:

2001

Language:

english

File:

PDF, 61 KB

english, 2001

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски